Soundness of Ethiopian Banks

Overview of Ethiopian Textile Industry

On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography

The abstraction of cryptographic operations by term algebras, called Dolev-Yao models or symbolic cryptography, is essential in almost all tool-supported methods for proving security protocols. Recently significant progress was made – using two conceptually different approaches – in proving that Dolev-Yao models can be sound with respect to actual cryptographic realizations and security definit...

Abstract Soundness

Soundness Jasmin Christian Blanchette, Andrei Popescu, and Dmitriy Traytel

Breeding Soundness of Bulls

The importance of the bull in a cattle breeding program often is underestimated. A cow is responsible for half the genetic material in only one calf each year, while the bull is responsible for half the genetic material in 20 to 50 calves. The bull’s ability to locate cows in estrus and breed them is clearly vital to a successful breeding program. Bulls differ in physical appearance, fertility ...

Relaxed Soundness of Business Processes

Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the help of a semiformal, graphical language such as the Event-driven Process Chains (EPCs) by Scheer. This approach provides a suitable medium for the communication between the participants: the domain experts and the I...